分子图拓扑指标逆问题的研究

当今组合化学的一个中心问题就是寻找具有某种化学或物理性质的分子，因此分子图拓扑指标及其逆问题的研究在组合化学中占有非常重要的地位。文章首先研究了化学分子图的一类Zagreb指标的逆问题，解决了其存在性问题和极值问题。从而为利用计算机搜索具有给定Zagreb指标值的所有分子图界定了顶点数和边数的范围，提高了计算机搜索的效率，这在组合化学中具有重要的意义。同时文章给出了计算树的Hosoya指标值的一个线性时间算法，并证明了其逆问题——SUBTREEVALuE问题是NP-完备的。     

状态图中可同步测试序列生成策略

对于由通信有限状态机构成的状态图的可同步测试序列的生成策略，一种现有的方法是由状态图生成相应的积自动机，然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步问题的基础上，提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略，该策略在不生成积自动机的情况下，通过同步锁和相应的策略解决两种类型的同步问题，避免了组合空间爆炸问题。     

基于椭圆曲线的代理签名和门限代理签名体制

代理签名是一种特殊的签名方案，在签名人由于某种原因不能行使签名权力时，有原始签名人委托一个人或团体代理其有效地进行签名。传统的代理签名方案都是基于离散对数问题的。一种基于椭圆曲线离散对数(ECDLP)问题的代理签名体制被提出来。该体制比基于传统离散对数(DLP)的代理签名体制密钥和签名长度更短，具有与之相当的安全性。     

一种求解TSP问题的相遇蚁群算法

蚁群算法是由意大利学者M．Dorigo等人首先提出的一种新型的仿生算法。蚁群算法与其他算法同样存在搜索速度慢，易于陷于局部最优。该文提出一种改进的相遇算法克服了以上的缺陷。通过对TSP问题的仿真结果表明，提出的相遇算法与基本蚁群算法相比搜索速度和性能都有一定的提高。     

极小布尔不可满足子式的提取算法

研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种．文中就精确算法提出了局部预先赋值的优化方案，并且在理论上证明了该算法的正确性；通过实验显示了此算法可以获得更高的效率．通过模拟实验观察到，利用完法计算法进行近似提取的一个有趣现象，即随着公式密度的增加，算法的提取误差会趋于下降．     

同尺寸矩形毛坯排样的连分数分支定界算法

在确定同尺寸矩形毛坯最优排样方式的算法中，连分数算法的时间效率最高，但所生成排样方式的切割工艺复杂．提出连分数分支定界算法，该算法应用连分数法确定毛坯数最优值，采用贴切的上界估计方法；在搜索过程中只保留上界不小于最优值的分支，遇到下界等于最优值的分支时结束搜索．实验结果表明，该算法的时间效率和连分数算法接近，并可以有效地简化切割工艺，生成切割工艺最简单的排样方式．最后，通过实例分析说明该算法的节约材料潜力。     

排样问题的研究现状与趋势

优化排样应用范围非常广泛，吸引了众多学者从不同的应用、不同的角度、采用不同的方法对其进行了研究．文中概述了排样问题的研究现状和趋势．     

基于多项式还原问题的密码分析算法

论文描述了一种基于多项式还原问题的公钥加密方案的密码分析。给定公开密钥和密文,在多项式时间内还原相应的明文。此外,这个公钥加密方案不是单向的。论文采用的方法不同于Berlekamp-Welsh算法。     

求解一般车辆优化调度问题的一种改进遗传算法

文章在对一般车辆优化调度问题(VRP)进行分析的基础上,为之建立了数学模型;提出了一种求解该问题的改进遗传算法,并通过实例验证了该算法具有优良性能。     

多QoS约束的多播路由协议

随着高性能网络、移动网络及Internet的不断发展,具有QoS约束的多播路由技术已成为网络及分布式系统领域的一个重要研究课题.研讨了具有多QoS约束的多播路由问题,其中主要包含延迟、延迟抖动、带宽、代价等QoS约束.描述了一种适应于研究QoS多播路由的网络模型,提出了一种具有多QoS约束的多播路由协议(multicast routing protocol with multiple QoS,简称MRPMQ).MRPMQ试图有效减少生成多QoS约束的多播树的开销.在MRPMQ中,一个多播组成员能够动态地加入/退出一个多播会晤,且不干扰现有的多播树.给出了该协议的正确性证明和复杂性分析.仿真实验结果表明,MRPMQ为多QoS约束多播路由提供了一种新的有效途径.